A Profinite Approach to Stable Pairs
نویسندگان
چکیده
We give a short proof, using profinite techniques, that idempotent pointlikes, stable pairs and triples are decidable for the pseudovariety of aperiodic monoids. Stable pairs are also described for the pseudovariety of all finite monoids.
منابع مشابه
Small Profinite Structures
We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.
متن کاملSelective Binding of Cyclic Nanopeptide with Halides and Ion Pairs; a DFT-D3 Study
In this article, theoretical studies on the selective complexation of the halide ions (F¯, Cl¯ and Br¯) and ion pairs (Na+F¯, Na+Cl¯ and Na+Br¯) with the cyclic nano-hexapeptide (CP) composed of L-proline have been performed in the gas phase. In order to calculate the dispersion interaction energies of the CP and ions, DFT-D3 calculations at the M05-2X-D3/6-31G(d) level was employed. Based on t...
متن کاملProjective Pairs of Profinite Groups
We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic extension of a PAC field K. Then M/K is PAC if and only if the corresponding pair of absolute Galois groups (Gal(M),Gal(K)) is projective. Moreover any projecti...
متن کاملELEMENTARY EQUIVALENCE OF PROFINITE GROUPS by
There are many examples of non-isomorphic pairs of finitely generated abstract groups that are elementarily equivalent. We show that the situation in the category of profinite groups is different: If two finitely generated profinite groups are elementarily equivalent (as abstract groups), then they are isomorphic. The proof applies a result of Nikolov and Segal which in turn relies on the class...
متن کاملOn Schur Multipliers of Pairs and Triples of Groups with Topological Approach
In this paper, using a relation between Schur multipliers of pairs and triples of groups, the fundamental group and homology groups of a homotopy pushout of Eilenberg-MacLane spaces, we present among other things some behaviors of Schur multipliers of pairs and triples with respect to free, amalgamated free, and direct products and also direct limits of groups with topological approach.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJAC
دوره 20 شماره
صفحات -
تاریخ انتشار 2010